void putc(char c){
  asm(irmov c, %ra);
  asm(out %ra, 1);
}

void puts(char *s){
  for(int i=0;s[i]!='\0';i++){
    putc(char c);
  }
}

void main(){
  puts("Hello\n");
}
